Algorithm engineering

Results: 1680



#Item
521Electronic engineering / Reconfigurable computing / Dynamic programming / Field-programmable gate array / Smith–Waterman algorithm / TimeLogic / BLAST / Impulse C / Parallel computing / Bioinformatics / Computational phylogenetics / Science

Department of Electrical and Computer Systems Engineering Technical Report MECSE

Add to Reading List

Source URL: www.ecse.monash.edu.au

Language: English - Date: 2005-05-30 02:09:35
522Science / Fluid dynamics / Computer graphics / Mechanical engineering / Streamlines /  streaklines /  and pathlines / Parallel computing / Vector field / Line integral convolution / Algorithm / Visualization / Aerodynamics / Software

Scalable Computation of Streamlines on Very Large Datasets ∗ Dave Pugmire Oak Ridge National Laboratory

Add to Reading List

Source URL: vis.lbl.gov

Language: English - Date: 2011-11-18 17:05:18
523Computer / Programming language / Functional programming / Algorithm / Software engineering / Computing / Outline of computer science / Department of Computer Science /  University of Oxford / Discrete mathematics / Mathematics / Computer science

Recommended reading & activities Prospective undergraduate students For prospective undergraduate students, or those just wanting to learn a bit more about what Computer Science is really about, we encourage you to read

Add to Reading List

Source URL: www.cs.ox.ac.uk

Language: English - Date: 2014-11-27 05:43:38
524Malware / Models of computation / Algorithm / Software bug / KeY / Control theory / Actor model / MS Antivirus / Denotational semantics / Theoretical computer science / Applied mathematics / Computing

Function Extraction Technology: Computing the Behavior of Malware Rick Linger, Kirk Sayre, Tim Daly, Mark Pleszkoch CERT, Software Engineering Institute Carnegie Mellon University Pittsburgh, PA

Add to Reading List

Source URL: daly.axiom-developer.org

Language: English - Date: 2010-08-30 12:03:23
525Information / Data / Lift / Database / Affinity analysis / Market / Network science / Apriori algorithm / Data mining / Association rule learning / Information technology management

Market Basket Analysis with Networks Troy Raeder, Nitesh V. Chawla Interdisciplinary Center for Network Science and Applications Department of Computer Science and Engineering University of Notre Dame Notre Dame, IN 4655

Add to Reading List

Source URL: www.islab.ntua.gr

Language: English - Date: 2014-05-16 09:02:36
526Quality / Pharmaceutical industry / Validity / Theoretical computer science / Software engineering / Software prototyping / Validation / Algorithm / Specification / Spaceflight / Technology / Earth

Ocean & Sea Ice SAF Report on Algorithm Development and Prototyping Activities Version 1.0

Add to Reading List

Source URL: saf.met.no

Language: English - Date: 2010-04-08 06:21:35
527Computing / Automata theory / Models of computation / Finite-state machine

Probabilistic Arithmetic Automata and their Application to Pattern Matching Statistics Tobias Marschall and Sven Rahmann Bioinformatics for High-Throughput Technologies Chair of Algorithm Engineering TU Dortmund, Germany

Add to Reading List

Source URL: www.cs.ucr.edu

Language: English - Date: 2008-06-20 11:34:56
528Radiometry / Spaceflight / Microwave radiometer / Water content / Microwave / ADEOS II / Remote sensing / Soil / Aqua / Technology / Electromagnetic radiation / Earth

AMSR soil moisture algorithm development and validation Toshio Koike Department of Civil Engineering, University of Tokyo Microwave remote sensing can directly measure the dielectric properties which are strongly depende

Add to Reading List

Source URL: sharaku.eorc.jaxa.jp

Language: English - Date: 2005-10-06 06:38:51
529NP-complete problems / Automated theorem proving / Constraint programming / Boolean algebra / Formal methods / DPLL algorithm / Boolean satisfiability problem / Conjunctive normal form / Lookup table / Theoretical computer science / Applied mathematics / Mathematics

Combining Component Caching and Clause Learning for Effective Model Counting Tian Sang1 , Fahiem Bacchus2 , Paul Beame1 , Henry Kautz 1 , and Toniann Pitassi 2 1 Computer Science and Engineering, University of Washingto

Add to Reading List

Source URL: www.cs.toronto.edu

Language: English - Date: 2004-04-13 00:26:28
530Software quality / Fuzz testing / Genetic algorithm / Session / Fitness function / Access token / Fitness landscape / Communications protocol / Code coverage / Software testing / Computing / Software engineering

Revolutionizing the Field of Grey-box Attack Surface Testing with Evolutionary Fuzzing Jared D. DeMott Computer Science Michigan State University

Add to Reading List

Source URL: www.blackhat.com

Language: English - Date: 2014-12-16 19:06:37
UPDATE